category theoru exercises